$\forall$$A$, $B$:MsgA. ma{-}is{-}empty($A$) $\Rightarrow$ $A$ $\subseteq$ $B$